1. Formal Aspects of Component Software
پدیدآورنده : \ [edited by] Ivan Lanese, Eric Madelaine.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
2. Formal Aspects of Component Software
پدیدآورنده : / Ivan Lanese, Eric Madelaine
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK